Polymarket debuts betting market on Strait of Hormuz traffic normalizing by May 15, amid geopolitical tensions and crypto market volatility.